|
|
Agentní systém pro hraní her
Trutman, Michal ; Zbořil, František (oponent) ; Král, Jiří (vedoucí práce)
Tato práce se zabývá universálními agentními systémy pro hraní her. Oproti běžným agentům, kteří jsou určeni pouze pro určitý druh činnosti nebo konkrétní hru, universální agent musí být schopen hrát prakticky libovolnou hru popsanou ve formálním deklarativním jazyce. Výzvou je především to, že pravidla hry nejsou předem známa, což znemožňuje použití některých optimalizací nebo vytvoření dobré heuristické funkce. Práce je rozdělena na teoretickou a praktickou část. První část představuje oblast univerzálních herních agentů, definuje jazyk GDL pro popis pravidel her a zabývá se vytvářením heuristických funkcí a jejich aplikací v algoritmu Monte Carlo stromové hledání. V praktické části je představen obecný způsob, jak vytvořit novou heuristickou funkci, která je poté integrována do vlastního herního agenta a ten je pak porovnán s dalšími existujícími systémy.
|
|
|
Aplikace problému Obchodního cestujícího v reálném prostředí distribuční společnosti
Ružička, Vladimír ; Bartík, Vladimír (oponent) ; Kreslíková, Jitka (vedoucí práce)
Tato práce se zaobírá problematikou optimální distribuce. Čitatel se seznámí s problémy spojenými s distribucí. Kromě toho jsou v této práci vysvětleny problémy obchodního cestujícího, tzv. "vehicle routing problem" a jeho varianty. Dále je zde možné najít přehled přístupů k řešení "vehicle routing problem". V části zaměřené na problém z praxe se nachází analýza distribuce skutečné společnosti. V druhé polovině práce je představena aplikace, která by mohla snížit náklady na distribuci analyzované firmy. Testování je zaměřeno zejména na prozkoumání VRPCL (Vehicle Routing Problem with Continuos Loading), tedy problém plánovaní tras vozidel s průběžným nakládáním.
|
|
|
Modely a metody pro svozové úlohy
Nevrlý, Vlastimír ; Žák, Libor (oponent) ; Popela, Pavel (vedoucí práce)
Tato diplomová práce se zabývá vývojem matematických modelů pro svozové úlohy a způsoby jejich řešení. Jsou zde probrány a implementovány deterministické a heuristické přístupy, které se pro tyto úlohy využívají. Velký důraz je kladen na sestavení matematického modelu odpovídajícího reálné úloze z oblasti odpadového hospodářství a vývoj původních a modifikaci existujících algoritmů, vhodných pro efektivní a rychlé získání řešení daného problému. Pro testování a zobrazení získaných výsledků je vyvinuto vizualizační prostředí.
|
|
|
Demonstrace metod prohledávání stavového prostoru
Tureček, Martin ; Drozdová, Martina (oponent) ; Zbořil, František (vedoucí práce)
Tato bakalářská práce popisuje problematiku metod prohledávání stavového prostoru. Práce se zaměřila zejména na praktickou část, jejímž cílem bylo vytvořit demonstrační aplikaci, která by měla sloužit jako pomůcka do předmětu Základy umělé inteligence. Výsledná aplikace tento požadavek splňuje zejména díky jednoduchému ovládání, možnosti krokovat algoritmus a hlavně přitažlivým grafickým kabátkem. Aplikace je navíc implementována jako javovský applet, takže by její spuštění mělo být možné odkudkoliv.
|
|
|
Informační systém pro školy s automatickou tvorbou rozvrhů
Švadlenka, Jiří ; Jurka, Pavel (oponent) ; Chmelař, Petr (vedoucí práce)
Tato práce se věnuje použitím informačního systému pro správu školní agendy. Školy jsou nuceny spravovat velké množství informací a to nejenom o svých studentech. Samotná problematika je velmi rozsáhlá a různorodá. Proto jsou uvedeny nejběžnější typy dat a požadavků škol na provoz školního informačního systému. Součástí školního informačního systému je systém pro automatické generování rozvrhů. Nejdříve jsou definovány základní pojmy z oblasti rozvrhování, na které navazují metody a algoritmy pro řešení problému vytvoření školních rozvrhů. Školní rozvrhování je problém naplánování výuky, za určitých omezujících podmínek. Dále se práce věnuje návrhu školního informačního systému, organizování dat v nich a řešením problémů při jeho návrhu. Navrhovaný informační systém klade důraz na jednoduchou rozšiřitelnost a širokou možnost využití. V této části práce je také uveden navrhovaný algoritmus pro řešení definovaného školního rozvrhování.
|
|
|
Optimalizační algoritmy v logistických kombinatorických úlohách
Bokiš, Daniel ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Tato práce se zabývá optimalizačními problémy a především logistickou úlohou Vehicle Routing Problem (VRP). V první části je zaveden pojem optimalizace a jsou představeny nejdůležitější optimalizační problémy. Dále jsou v práci uvedeny metody, kterými je možné tyto problémy řešit. Následně jsou vybrané metody aplikovány na problém VRP a jsou uvedena některá jejich vylepšení. Práce také představuje metodu využívání znalostí předchozích řešení, tedy formu učícího algoritmu. V závěru práce jsou experimentálně optimalizovány parametry jednotlivých metod a ověřen přínos představených vylepšení.
|
|
|
Techniky napadení ELF/PE souborů a jejich detekce
Brunai, Adam ; Jurnečka, Peter (oponent) ; Barabas, Maroš (vedoucí práce)
Tato práce se zabývá technikami napadení spustitelných souborů v OS Windows. Jejím hlavním cílem je analyzovat techniky infekce v kontextu složitosti jejich implementace a detekce. Před samotnou analýzou technik infekce bude čtenář obeznámen s problematikou spustitelných souborů. Součástí práce je demonstrační nástroj "pein", který řeší implementaci infekce. V závěru se práce zabývá analýzou malwaru a technikami detekce.
|
|
|
Hraní stolní hry Stratego počítačem
Irovský, Dominik ; Šátek, Václav (oponent) ; Zbořil, František (vedoucí práce)
Tématem této práce je desková hra s neúplnou informací Stratego. Cílem je průzkum a zhodnocení dosavadních řešení hraní počítačem, návrh, implementace a testovaní vlastního řešení hraní počítačem. Pro vlastní řešení byl zvolen modifikovaný algoritmus Monte Carlo Tree Search. Řešení bylo realizováno jako konzolová aplikace s možností rozšíření. Funkcionalita implementace byla validována a otestována pomocí experimentů. Efektivita výsledného algoritmu byla uspokojivá.
|
|
|
Modely toků v síti pro odpadové hospodářství
Janošťák, František ; Mrázková, Eva (oponent) ; Pavlas, Martin (vedoucí práce)
Diplomová práce je věnována výstavbě nových zařízení na energetické využití odpadu v lokalitě, kde je již provozováno stávající energetické zařízení - teplárna. Cílem je vytvořit matematický model, a ten následně aplikovat pro hodnocení míry efektivity spolupráce s použitím společné technologie. Sestavený model, který reflektuje aspekty reálného provozu, má vlastnosti smíšeného celočíselného nelineárního programování. Pro jeho výpočet se používá optimalizační software GAMS. Složitost modelu je však na takové úrovni, že řešení za špatných počátečních podmínek končí v lokálním optimu, nebo vůbec není nalezeno. Tato práce je věnována odstranění nelinearity pomocí binárních proměnných a heuristiky s cílem nalézt řešení v přijatelných časových mezích se zaručením optimality.
|
|
|
Heuristický přístup k řešení grafických konfliktů bodových znaků v mapách velkého měřítka
Pumr, Daniel ; Lysák, Jakub (vedoucí práce) ; Bayer, Tomáš (oponent)
Práce pojednává o automatizaci kartografické generalizace bodových znaků odsunem a výběrem v mapách velkého měřítka. V první části práce jsou představeny teoretické základy tohoto procesu s důrazem na práce autorů, kteří se zabývali jeho automatizací. V další části práce jsou popsána a analyzována data ZABAGED, ze kterých vzniká státní mapové dílo a na kterých byl testován algoritmus vytvořený v praktické části této práce. Hlavním cílem práce pak bylo zjistit, zda je reálné v praxi využít řešení založené na postupném inteligentním zkoušení různých poloh odsunu překrývajících se bodových znaků. V rámci toho jsou identifikovány a popsány strategie, jakými lze generovat a prohledávat stavový prostor daný možnými pozicemi odsunutých bodů. Tyto strategie poté byly implementovány nad datovou sadou ZABAGED, byly otestovány, porovnány a byl vysloven závěr o použitelnosti tohoto přístupu v automatické generalizaci. Klíčová slova digitální kartografie, kartografická generalizace, generalizace výběrem, generalizace posunutím, bodové znaky, heuristika
|
host ::
RSS.